<?php
print($_SERVER['HTTP_USER_AGENT']);